home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / laame101.zip / ES55.TXT < prev    next >
Text File  |  1993-10-10  |  1KB  |  46 lines

  1. ------------------------------------------------------------------------------
  2. *                                                                            *
  3. *  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
  4. *                                                                            *
  5. ------------------------------------------------------------------------------
  6.  
  7. Giorno: 10-10-1993
  8.  
  9. Funzione: Σ5  (10-30)
  10.  
  11. Numero di variabili: 5
  12. Numero di mintermini: 21
  13. Stato dell'elaborazione: TERMINATA
  14. Generazione dell'input: DETERMINISTICA
  15. Tempo totale di elaborazione: 0:0:0
  16.  
  17. --------------------------
  18. *         FASE A         *
  19. --------------------------
  20. Tempo di elaborazione: 0:0:0
  21. Numero implicanti primi: 10
  22.  
  23. Implicanti primi determinati: 
  24.     Abc
  25.     bcD
  26.     bcE
  27.     Abd
  28.     bdE
  29.     bCd
  30.     aB
  31.     aC
  32.     aD
  33.     aE
  34.  
  35. --------------------------
  36. *         FASE B         *
  37. --------------------------
  38. Fast Quine dx
  39. Tempo di elaborazione: 0:0:0
  40. Numero di forme prime paragonate: 1
  41. Numero di tabelle cicliche esaminate: 1
  42. Numero di implicanti soluzione: 5
  43.  
  44. SOLUZIONE migliore determinata tra le forme esaminate:
  45. aB + bcD + Abd + aC + aE
  46.